Church encoding

Results: 48



#Item
21Lambda calculus / Type theory / Functional programming / Dependently typed programming / Models of computation / System F / Higher-order abstract syntax / Church encoding / Catamorphism / Declarative programming / Software engineering / Mathematics

Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:49:28
22Unicode / Cyrillic characters in Unicode / Cyrillic script / Yat / Glagolitic alphabet / Typographic ligature / Combining character / Uk / Iotated A / Character encoding / Typography / Unicode typefaces

Unicode 5.1, Old Church Slavonic, Remaining Problems – and Solutions, including OpenType Features Sebastian Kempgen (University of Bamberg) 1. From Unicode 4.1 to Unicode 5.1 In two previous articles (Kempgen 2006a, 20

Add to Reading List

Source URL: kodeks.uni-bamberg.de

Language: English - Date: 2008-09-20 12:50:13
23Character sets / Character encoding / Digital typography / Unicode blocks / C1 Controls and Latin-1 Supplement / Notation / Romanian language / Â / Acute accent

St. Thomas Sunday Ïðîâiäíà Íåäiëÿ The Council of Bishops and Consistory of the Ukrainian Orthodox Church of the USA cordially invite all Christ-loving faithful, in particular our youth of all ages to particip

Add to Reading List

Source URL: www.ukrainianorthodoxchurchusa.com

Language: English - Date: 2010-03-12 03:21:11
24Circumflex / Latin script / Acute accent / Western calligraphy / Calligraphy / Character encoding / Digital typography / C1 Controls and Latin-1 Supplement / Latin-derived alphabet / Character sets / Romanian language / Â

Îôiöiéíå âèäàííÿ Óêðà¢íñüêî¢ Ïðàâîñëàâíî¢ Öåðêâè â ÑØÀ The Official Publication of the Ukrainian Orthodox Church of the USA Ðiê LVV ×èñ. II, ëþòèé, 2010 Vol. LVV Is

Add to Reading List

Source URL: www.ukrainianorthodoxchurchusa.com

Language: English - Date: 2010-02-02 17:01:41
25Calligraphy / Character encoding / Digital typography / Circumflex / Greek alphabet / Acute accent / Â / C1 Controls and Latin-1 Supplement / Latin-derived alphabet / Character sets / Latin script / Western calligraphy

Christ is Risen! Îôiöiéíå âèäàííÿ Óêðà¢íñüêî¢ Ïðàâîñëàâíî¢ Öåðêâè â ÑØÀ The Official Publication of the Ukrainian Orthodox Church of the USA Ðiê LVV ×èñ. III-IV, áåð

Add to Reading List

Source URL: www.ukrainianorthodoxchurchusa.com

Language: English - Date: 2010-03-10 18:53:30
26Diaeresis / Western calligraphy / Calligraphy / Character encoding / Latin script / Character sets / C1 Controls and Latin-1 Supplement / Latin-derived alphabet / Romanian language / Â / Acute accent

St. Thomas Sunday Ïðîâiäíà Íåäiëÿ The Council of Bishops and Consistory of the Ukrainian Orthodox Church of the USA cordially invite all Christ-loving faithful, in particular our youth of all ages to partic

Add to Reading List

Source URL: www.ukrainianorthodoxchurchusa.com

Language: English - Date: 2011-03-20 23:36:04
27Huntington Library / Perpetual Emigration Fund / Huntington / PEF / The Church of Jesus Christ of Latter-day Saints / Latter Day Saint movement / Greenhouses

http://oac.cdlib.org/findaid/ark:/13030/tf4s2003pr No online items Inventory of the William Young Empey Papers, [removed], bulk[removed]Processed by The Huntington Library staff; supplementary encoding and revision sup

Add to Reading List

Source URL: pdf.oac.cdlib.org

Language: English - Date: 2014-10-05 14:53:56
28Coptic Orthodox Church / Egyptian languages / Epact / Coptic language / UTF-8 / Script / Character encoding / Unicode / Character sets

Coptic Epact Numbers Range: 102E0–102FF The Unicode Standard, Version 7.0 This file contains an excerpt from the character code tables and list of character names for The Unicode Standard, Version 7.0 Characters in thi

Add to Reading List

Source URL: unicode.org

Language: English - Date: 2014-06-02 17:40:40
29Chemistry / Polymerase chain reaction / Contig / Primer / Shotgun sequencing / Real-time polymerase chain reaction / Polony sequencing / 2 Base Encoding / Biology / Molecular biology / Biochemistry

www.sciencemag.org/cgi/content/full/science[removed]DC1 Supplementary Materials for Next-Generation Digital Information Storage in DNA George M. Church, Yuan Gao, Sriram Kosuri* *To whom correspondence should be address

Add to Reading List

Source URL: www.sciencemag.org

Language: English - Date: 2012-08-15 14:46:03
30Christianity in Egypt / Applied linguistics / Corpus linguistics / Text corpus / Stephen Emmel / Text Encoding Initiative / Digital humanities / Treebank / EpiDoc / Linguistics / Religion in Egypt / Coptic Orthodox Church

Narrative Section of a Successful Application The attached document contains the grant narrative and selected portions of a previously funded grant application. It is not intended to serve as a model, but to give you a s

Add to Reading List

Source URL: www.neh.gov

Language: English - Date: 2014-07-21 16:02:08
UPDATE